Beyond ProCoS at Kiel: A Synopsis of Recent Research
نویسندگان
چکیده
1 Carl v. Ossietzky Universität, Department of Computer Science, P.O. Box 2503, D-26111 Oldenburg, Germany {Martin.Fraenzle|von.Karger}@Informatik.Uni-Oldenburg.DE 2 Christian-Albrechts-Universität Kiel, Department of Computer Science, Preußerstr. 1–9, D-24105 Kiel, Germany [email protected] 3 University of Dortmund, Department of Computer Science, FB 4, LS 5, Baroper Str. 301, D-44221 Dortmund, Germany [email protected]
منابع مشابه
A Procosii Project Final Report: Esprit Basic Research Project 7071
An overview of the research and associated activities of the European collaborative ESPRIT Basic Research ProCoS II project (no. 7071) on \Provably Correct Systems" which ran from 1992 to 1995 is presented. This was a follow-on project to ProCoS (no. 3104) and ran in parallel with the ProCoS-WG Working Group (no. 8694), all previously announced in the Bulletin of the EATCS [3, 17, 18]. A compre...
متن کاملProCoS: Protein composition server
ProCoS is a free online tool for computing different combinations of peptide compositions. It is developed as an applet and a server with a capability to handle multiple FASTA sequences. The generalized algorithm for computing poly-amino acid composition forms the core of ProCoS. It produces output in different formats for easy visualization of results. It also allows composition analysis of se...
متن کاملProvably Correct Systems: Community, Connections, and Citations
The original European ESPRIT ProCoS I and II projects on Provably Correct Systems took place around a quarter of a century ago. Since then the legacy of the initiative has spawned many researchers with careers in formal methods. One of the leaders on the ProCoS projects was Ernst-Rüdiger Olderog. This paper charts the influence of the ProCoS projects and the subsequent ProCoSWG Working Group, u...
متن کاملSynopsis of the Parasites in Iranian Freshwater Fishes
Two hundred forty seven species of parasites from Iranian freshwater fishes are presented in this synopsis. The parasites were recorded from infestations in fish from different parts of the country and summarized according to host species, organs were the parasite infestations occurred, province, faunal region and reference numbers. The following aspects of parasite infestations were a...
متن کاملA synopsis of the genus Rheum (Polygonaceae) in Iran with description of three new species
According to previous studies, the genus Rheum in Iran includes four species: R. turkestanicum Janisch., R. persicum Losinsk., R. ribes L. and R. khorasanicum Baradaran & Jafari. During the long-term study, based on field and many herbaria specimens, three new species including R. iranshahrii Taheri & Assadi sp. nov., R. kordestanicum Taheri & Assadi sp. nov. and R. austro-iranicum Taheri & Ass...
متن کامل